properties of bitwise and